EXTRA_DIST = \
	DosBoxLauncher.java \
	PreConfig.java
